منابع مشابه
Convexity Theorems
M(a, fi) S M'(ah ft)Jf^(a,, ft). This is M. Riesz's fundamental theorem. (See M. Riesz [5] and a different proof in Paley [4] ; see also a generalization of the theorem in L. C. Young [ i l ] . ) M. Riesz's argument proved the convexity only in the triangle O ^ a ^ l , 0 ^ / 3 ^ 1 , a+f3*zl. The extension to the whole quadrant is due to Thorin [9]. We shall not give the proof of the theorem her...
متن کاملRepresentation Theorems for Quantales
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classificati...
متن کاملRepresentation Theorems for Hypergraph Satisfiability
Given a set of propositions, one can consider its inconsistency hypergraph. Then the satisfiability of sets of clauses with respect to that hypergraph (see [1], [6]) turns out to be the usual satisfiability. The problem is which hypergraphs can be obtained from sets of formulas as inconsistency hypergraphs. In the present paper it is shown that this can be done for all hypergraphs with countabl...
متن کاملRepresentation Theorems for Petri Nets
This paper retraces, collects, summarises, and mildly extends the contributions of the authors — both together and individually — on the theme of representing the space of computations of Petri nets in its mathematical essence.
متن کاملRepresentation Theorems for Implication Structures
Professor Rasiowa [HR49] considers implication algebras (A,⇒, V ) such that ⇒ is a binary operation on the universe A and V ∈ A. In particular, there are studied implicative algebras, positive implication algebras and implication algebras; the second kind corresponds to the logic of positive implication, and the third one to the logic of classical implication. In each case, the distinguished el...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 2015
ISSN: 0022-247X
DOI: 10.1016/j.jmaa.2015.01.070